18.25/18.34	unsat
