26.13/28.86	unsat
