5.38/6.88	unsat
