16.38/16.48	unsat
