10.90/11.66	unsat
