20.67/20.85	unsat
