12.76/17.66	unsat
