63.88/65.19	unsat
