64.77/67.41	unsat
