28.66/29.53	unsat
