19.45/22.09	unsat
