25.06/27.99	unsat
