19.14/20.47	unsat
