26.55/26.63	unsat
