6.38/10.36	unsat
