1.38/6.00	unsat
