12.38/12.93	unsat
