12.38/12.49	unsat
