5.38/7.07	unsat
