10.19/10.66	unsat
