26.64/26.78	unsat
