26.56/26.63	unsat
