10.38/11.96	unsat
