18.60/18.63	unsat
