26.46/26.55	unsat
