19.34/22.20	unsat
