21.77/21.85	unsat
