18.25/18.31	unsat
