63.75/65.21	unsat
