10.36/12.64	unsat
