10.38/11.53	unsat
