64.63/68.39	unsat
