19.33/22.66	unsat
