26.46/26.64	unsat
