21.76/26.91	unsat
