5.38/6.99	unsat
