19.60/21.66	unsat
