26.34/26.91	unsat
