26.05/26.97	unsat
