26.15/28.99	unsat
