9.88/11.53	unsat
