12.38/16.20	unsat
