26.97/28.32	unsat
