19.57/20.71	unsat
