19.77/20.30	unsat
