18.06/18.90	unsat
