19.14/20.36	unsat
