19.27/20.30	unsat
