11.18/12.66	unsat
