26.64/26.77	unsat
