20.62/20.77	unsat
