11.76/12.64	unsat
