26.06/27.97	unsat
