26.15/27.99	unsat
