68.46/68.66	unsat
