9.97/12.53	unsat
