16.46/18.88	unsat
