26.48/26.68	unsat
