19.14/22.21	unsat
