6.38/10.26	unsat
