26.85/29.53	unsat
