5.38/7.74	unsat
