18.03/18.63	unsat
