64.18/68.37	unsat
