64.21/67.55	unsat
