26.46/26.59	unsat
