20.75/20.82	unsat
