68.46/71.38	unsat
