6.38/8.48	unsat
