5.38/7.59	unsat
