19.16/21.57	unsat
