22.59/26.10	unsat
