26.47/26.54	unsat
