6.38/10.28	unsat
