26.51/26.61	unsat
