2.38/4.80	unsat
