16.46/19.02	unsat
