25.26/26.68	unsat
