19.86/20.77	unsat
