26.34/28.13	unsat
