9.17/10.53	unsat
