25.17/28.53	unsat
