10.78/16.64	unsat
