64.76/65.28	unsat
