26.68/26.79	unsat
