19.36/22.89	unsat
