14.98/18.88	unsat
