1.38/3.28	unsat
