16.02/18.88	unsat
