26.48/26.50	unsat
