12.38/12.52	unsat
